Speci cation of Object Behaviour with Defaults
نویسندگان
چکیده
In this paper we present how to extend object speciication logic by defaults. Thus overridable rules may be used in speciications which deal not only with object states, but also with dynamic object behaviour like enabling / occurrence of actions and temporal evolution. Defaults are particularly useful to formalize implicit negation, the \minimal change" semantics of actions, inheritance between object classes and aggregation of objects. We demonstrate this by means of examples , and study which default patterns should be used for typical problems of behaviour speciication.
منابع مشابه
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, and to allow a more economic description of systems. In this paper we develop a framework for default speci cations of reactive systems. We present a formalisation of non-monotonicity in temporal logic based on the noti...
متن کاملEvolving Logical Specification in Information Systems
Traditional logic-based speci cation approaches x the structure and the dynamics of an object system at speci cation time. Information systems are applications with a very long life-time. Therefore, object and speci cation evolution to react on changing requirements is a relevant aspect of describing information systems as object societies. We present a logical speci cation framework for evolvi...
متن کاملHow to Prefer More Speci c Defaults
In a recent paper we have proposed terminological default logic as a formalism which combines both means for structured representation of classes and objects, and for default inheritance of properties. The major drawback which terminological default logic inherits from general default logic is that it does not take precedence of more speciic defaults over more general ones into account. This be...
متن کاملObject - oriented speci cation
Object-oriented speciication mechanisms have become famous for modelling structure and behaviour together in terms of autonomous objects communicating via message passing. However, whereas most object-oriented speciication methods are strong in modelling the local behaviour of single objects, they fall short on modelling the coordinated behaviour and collaboration of several objects together. T...
متن کاملFoundations of the Trace Assertion Method of Module Interface Speci cation
The trace assertion method is a formal state machine based method for specifying module interfaces ([3, 15, 25, 28, 32, 36]). A module interface speci cation treats the module as a black-box, identifying all module's access programs (i.e. programs that can be invoked from outside of the module), and describing their externally visible e ects. A formal model for the trace assertion method is pro...
متن کامل